node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
link(1,5) :- #0.224.
link(5,1) :- #0.069.
link(1,8) :- #0.441.
link(8,1) :- #0.124.
link(1,19) :- #0.534.
link(19,1) :- #0.103.
link(1,27) :- #0.094.
link(27,1) :- #0.856.
link(1,28) :- #0.173.
link(28,1) :- #0.234.
link(1,30) :- #0.699.
link(30,1) :- #0.263.
link(1,38) :- #0.783.
link(38,1) :- #0.171.
link(1,39) :- #0.45.
link(39,1) :- #0.073.
link(1,40) :- #0.289.
link(40,1) :- #0.684.
link(1,45) :- #0.151.
link(45,1) :- #0.694.
link(1,56) :- #0.688.
link(56,1) :- #0.637.
link(1,58) :- #0.74.
link(58,1) :- #0.464.
link(1,61) :- #0.745.
link(61,1) :- #0.936.
link(1,64) :- #0.906.
link(64,1) :- #0.529.
link(1,71) :- #0.867.
link(71,1) :- #0.874.
link(1,74) :- #0.558.
link(74,1) :- #0.466.
link(1,84) :- #0.538.
link(84,1) :- #0.135.
link(1,96) :- #0.399.
link(96,1) :- #0.052.
link(1,131) :- #0.984.
link(131,1) :- #0.043.
link(2,5) :- #0.133.
link(5,2) :- #0.28.
link(2,14) :- #0.667.
link(14,2) :- #0.976.
link(2,17) :- #0.293.
link(17,2) :- #0.67.
link(2,36) :- #0.999.
link(36,2) :- #0.114.
link(2,40) :- #0.454.
link(40,2) :- #0.656.
link(2,47) :- #0.166.
link(47,2) :- #0.494.
link(2,51) :- #0.844.
link(51,2) :- #0.796.
link(2,54) :- #0.344.
link(54,2) :- #0.434.
link(2,70) :- #0.243.
link(70,2) :- #0.159.
link(2,72) :- #0.075.
link(72,2) :- #0.675.
link(2,73) :- #0.499.
link(73,2) :- #0.575.
link(2,82) :- #0.225.
link(82,2) :- #0.571.
link(2,89) :- #0.263.
link(89,2) :- #0.964.
link(2,94) :- #0.456.
link(94,2) :- #0.588.
link(2,111) :- #0.173.
link(111,2) :- #0.143.
link(2,112) :- #0.413.
link(112,2) :- #0.41.
link(2,122) :- #0.267.
link(122,2) :- #0.083.
link(2,134) :- #0.984.
link(134,2) :- #0.766.
link(3,8) :- #0.93.
link(8,3) :- #0.293.
link(3,16) :- #0.835.
link(16,3) :- #0.548.
link(3,18) :- #0.92.
link(18,3) :- #0.796.
link(3,47) :- #0.487.
link(47,3) :- #0.842.
link(3,54) :- #0.804.
link(54,3) :- #0.239.
link(3,64) :- #0.232.
link(64,3) :- #0.794.
link(3,75) :- #0.193.
link(75,3) :- #0.992.
link(3,78) :- #0.029.
link(78,3) :- #0.048.
link(3,109) :- #0.053.
link(109,3) :- #0.448.
link(3,116) :- #0.933.
link(116,3) :- #0.217.
link(3,130) :- #0.06.
link(130,3) :- #0.065.
link(4,14) :- #0.795.
link(14,4) :- #0.016.
link(4,30) :- #0.492.
link(30,4) :- #0.358.
link(4,72) :- #0.546.
link(72,4) :- #0.542.
link(4,81) :- #0.801.
link(81,4) :- #0.978.
link(4,88) :- #0.083.
link(88,4) :- #0.493.
link(4,89) :- #0.416.
link(89,4) :- #0.17.
link(4,102) :- #0.976.
link(102,4) :- #0.857.
link(4,120) :- #0.844.
link(120,4) :- #0.14.
link(4,125) :- #0.156.
link(125,4) :- #0.987.
link(5,19) :- #0.274.
link(19,5) :- #0.797.
link(5,27) :- #0.727.
link(27,5) :- #0.524.
link(5,36) :- #0.906.
link(36,5) :- #0.744.
link(5,46) :- #0.576.
link(46,5) :- #0.062.
link(5,57) :- #0.454.
link(57,5) :- #0.477.
link(5,58) :- #0.892.
link(58,5) :- #0.928.
link(5,63) :- #0.099.
link(63,5) :- #0.337.
link(5,68) :- #0.936.
link(68,5) :- #0.002.
link(5,79) :- #0.477.
link(79,5) :- #0.542.
link(5,83) :- #0.558.
link(83,5) :- #0.162.
link(5,93) :- #0.817.
link(93,5) :- #0.439.
link(5,95) :- #0.532.
link(95,5) :- #0.805.
link(5,121) :- #0.434.
link(121,5) :- #0.296.
link(5,122) :- #0.65.
link(122,5) :- #0.078.
link(5,124) :- #0.436.
link(124,5) :- #0.204.
link(5,130) :- #0.661.
link(130,5) :- #0.052.
link(6,32) :- #0.734.
link(32,6) :- #0.01.
link(6,37) :- #0.356.
link(37,6) :- #0.145.
link(6,55) :- #0.327.
link(55,6) :- #0.265.
link(6,66) :- #0.661.
link(66,6) :- #0.986.
link(6,86) :- #0.094.
link(86,6) :- #0.573.
link(6,90) :- #0.377.
link(90,6) :- #0.438.
link(6,92) :- #0.223.
link(92,6) :- #0.097.
link(6,106) :- #0.753.
link(106,6) :- #0.275.
link(6,107) :- #0.221.
link(107,6) :- #0.446.
link(6,116) :- #0.185.
link(116,6) :- #0.697.
link(6,118) :- #0.717.
link(118,6) :- #0.47.
link(6,125) :- #0.024.
link(125,6) :- #0.307.
link(6,133) :- #0.843.
link(133,6) :- #0.16.
link(6,134) :- #0.403.
link(134,6) :- #0.788.
link(6,135) :- #0.575.
link(135,6) :- #0.813.
link(7,12) :- #0.587.
link(12,7) :- #0.555.
link(7,13) :- #0.57.
link(13,7) :- #0.782.
link(7,22) :- #0.136.
link(22,7) :- #0.114.
link(7,24) :- #0.566.
link(24,7) :- #0.612.
link(7,34) :- #0.1.
link(34,7) :- #0.486.
link(7,40) :- #0.565.
link(40,7) :- #0.413.
link(7,59) :- #0.845.
link(59,7) :- #0.461.
link(7,69) :- #0.735.
link(69,7) :- #0.271.
link(7,70) :- #0.317.
link(70,7) :- #0.73.
link(7,81) :- #0.166.
link(81,7) :- #0.029.
link(7,91) :- #0.916.
link(91,7) :- #0.549.
link(7,115) :- #0.378.
link(115,7) :- #0.228.
link(8,15) :- #0.285.
link(15,8) :- #0.753.
link(8,18) :- #0.397.
link(18,8) :- #0.703.
link(8,20) :- #0.575.
link(20,8) :- #0.061.
link(8,44) :- #0.513.
link(44,8) :- #0.508.
link(8,49) :- #0.131.
link(49,8) :- #0.055.
link(8,50) :- #0.787.
link(50,8) :- #0.515.
link(8,55) :- #0.242.
link(55,8) :- #0.258.
link(8,60) :- #0.296.
link(60,8) :- #0.279.
link(8,70) :- #0.129.
link(70,8) :- #0.015.
link(8,74) :- #0.029.
link(74,8) :- #0.279.
link(8,81) :- #0.711.
link(81,8) :- #0.364.
link(8,88) :- #0.656.
link(88,8) :- #0.481.
link(8,89) :- #0.863.
link(89,8) :- #0.843.
link(8,101) :- #0.785.
link(101,8) :- #0.541.
link(8,114) :- #0.764.
link(114,8) :- #0.8.
link(8,118) :- #0.421.
link(118,8) :- #0.999.
link(8,127) :- #0.877.
link(127,8) :- #0.759.
link(9,10) :- #0.388.
link(10,9) :- #0.17.
link(9,16) :- #0.981.
link(16,9) :- #0.985.
link(9,17) :- #0.311.
link(17,9) :- #0.438.
link(9,26) :- #0.149.
link(26,9) :- #0.44.
link(9,36) :- #0.28.
link(36,9) :- #0.269.
link(9,49) :- #0.515.
link(49,9) :- #0.883.
link(9,53) :- #0.514.
link(53,9) :- #0.035.
link(9,78) :- #0.088.
link(78,9) :- #0.956.
link(9,89) :- #0.763.
link(89,9) :- #0.068.
link(9,92) :- #0.567.
link(92,9) :- #0.661.
link(9,123) :- #0.966.
link(123,9) :- #0.857.
link(10,13) :- #0.533.
link(13,10) :- #0.946.
link(10,14) :- #0.06.
link(14,10) :- #0.901.
link(10,24) :- #0.126.
link(24,10) :- #0.862.
link(10,46) :- #0.09.
link(46,10) :- #0.006.
link(10,69) :- #0.401.
link(69,10) :- #0.506.
link(10,77) :- #0.722.
link(77,10) :- #0.39.
link(10,79) :- #0.31.
link(79,10) :- #0.254.
link(10,80) :- #0.513.
link(80,10) :- #0.214.
link(10,81) :- #0.219.
link(81,10) :- #0.337.
link(10,92) :- #0.152.
link(92,10) :- #0.474.
link(10,98) :- #0.291.
link(98,10) :- #0.083.
link(10,99) :- #0.173.
link(99,10) :- #0.848.
link(10,107) :- #0.755.
link(107,10) :- #0.02.
link(10,113) :- #0.385.
link(113,10) :- #0.953.
link(10,128) :- #0.369.
link(128,10) :- #0.816.
link(11,14) :- #0.336.
link(14,11) :- #0.068.
link(11,18) :- #0.382.
link(18,11) :- #0.901.
link(11,19) :- #0.268.
link(19,11) :- #0.846.
link(11,25) :- #0.219.
link(25,11) :- #0.566.
link(11,43) :- #0.249.
link(43,11) :- #0.586.
link(11,44) :- #0.583.
link(44,11) :- #0.952.
link(11,47) :- #0.911.
link(47,11) :- #0.954.
link(11,57) :- #0.719.
link(57,11) :- #0.316.
link(11,67) :- #0.559.
link(67,11) :- #0.241.
link(11,75) :- #0.22.
link(75,11) :- #0.154.
link(11,84) :- #0.583.
link(84,11) :- #0.659.
link(11,97) :- #0.069.
link(97,11) :- #0.737.
link(11,106) :- #0.162.
link(106,11) :- #0.412.
link(11,114) :- #0.825.
link(114,11) :- #0.396.
link(11,133) :- #0.246.
link(133,11) :- #0.206.
link(12,13) :- #0.076.
link(13,12) :- #0.872.
link(12,18) :- #0.852.
link(18,12) :- #0.074.
link(12,26) :- #0.164.
link(26,12) :- #0.634.
link(12,53) :- #0.557.
link(53,12) :- #0.383.
link(12,64) :- #0.598.
link(64,12) :- #0.193.
link(12,68) :- #0.991.
link(68,12) :- #0.192.
link(12,91) :- #0.765.
link(91,12) :- #0.049.
link(12,99) :- #0.5.
link(99,12) :- #0.805.
link(12,124) :- #0.141.
link(124,12) :- #0.598.
link(12,132) :- #0.442.
link(132,12) :- #0.022.
link(13,21) :- #0.936.
link(21,13) :- #0.248.
link(13,32) :- #0.748.
link(32,13) :- #0.728.
link(13,36) :- #0.511.
link(36,13) :- #0.704.
link(13,37) :- #0.166.
link(37,13) :- #0.777.
link(13,48) :- #0.031.
link(48,13) :- #0.157.
link(13,56) :- #0.506.
link(56,13) :- #0.685.
link(13,64) :- #0.246.
link(64,13) :- #0.392.
link(13,80) :- #0.219.
link(80,13) :- #0.104.
link(13,95) :- #0.371.
link(95,13) :- #0.064.
link(13,96) :- #0.834.
link(96,13) :- #0.01.
link(13,97) :- #0.261.
link(97,13) :- #0.949.
link(13,110) :- #0.355.
link(110,13) :- #0.763.
link(14,18) :- #0.285.
link(18,14) :- #0.46.
link(14,20) :- #0.414.
link(20,14) :- #0.743.
link(14,28) :- #0.797.
link(28,14) :- #0.29.
link(14,36) :- #0.09.
link(36,14) :- #0.932.
link(14,39) :- #0.177.
link(39,14) :- #0.727.
link(14,40) :- #0.292.
link(40,14) :- #0.269.
link(14,64) :- #0.272.
link(64,14) :- #0.694.
link(14,74) :- #0.876.
link(74,14) :- #0.564.
link(14,75) :- #0.411.
link(75,14) :- #0.42.
link(14,81) :- #0.385.
link(81,14) :- #0.478.
link(14,92) :- #0.093.
link(92,14) :- #0.211.
link(14,93) :- #0.961.
link(93,14) :- #0.358.
link(14,111) :- #0.062.
link(111,14) :- #0.897.
link(14,112) :- #0.447.
link(112,14) :- #0.229.
link(14,118) :- #0.833.
link(118,14) :- #0.378.
link(14,135) :- #0.665.
link(135,14) :- #0.928.
link(15,17) :- #0.256.
link(17,15) :- #0.286.
link(15,24) :- #0.734.
link(24,15) :- #0.337.
link(15,44) :- #0.419.
link(44,15) :- #0.198.
link(15,66) :- #0.005.
link(66,15) :- #0.966.
link(15,74) :- #0.916.
link(74,15) :- #0.372.
link(15,84) :- #0.847.
link(84,15) :- #0.392.
link(15,85) :- #0.159.
link(85,15) :- #0.352.
link(15,98) :- #0.07.
link(98,15) :- #0.289.
link(15,120) :- #0.218.
link(120,15) :- #0.756.
link(16,18) :- #0.085.
link(18,16) :- #0.207.
link(16,26) :- #0.495.
link(26,16) :- #0.514.
link(16,31) :- #0.105.
link(31,16) :- #0.926.
link(16,36) :- #0.943.
link(36,16) :- #0.809.
link(16,47) :- #0.168.
link(47,16) :- #0.848.
link(16,53) :- #0.329.
link(53,16) :- #0.218.
link(16,76) :- #0.977.
link(76,16) :- #0.562.
link(16,80) :- #0.234.
link(80,16) :- #0.291.
link(16,84) :- #0.394.
link(84,16) :- #0.746.
link(16,88) :- #0.672.
link(88,16) :- #0.164.
link(16,92) :- #0.619.
link(92,16) :- #0.963.
link(16,99) :- #0.954.
link(99,16) :- #0.198.
link(16,101) :- #0.11.
link(101,16) :- #0.613.
link(16,111) :- #0.13.
link(111,16) :- #0.014.
link(16,112) :- #0.057.
link(112,16) :- #0.28.
link(16,121) :- #0.975.
link(121,16) :- #0.358.
link(16,129) :- #0.893.
link(129,16) :- #0.493.
link(17,33) :- #0.463.
link(33,17) :- #0.725.
link(17,39) :- #0.854.
link(39,17) :- #0.438.
link(17,40) :- #0.225.
link(40,17) :- #0.506.
link(17,67) :- #0.983.
link(67,17) :- #0.56.
link(17,68) :- #0.005.
link(68,17) :- #0.197.
link(17,72) :- #0.138.
link(72,17) :- #0.191.
link(17,97) :- #0.284.
link(97,17) :- #0.133.
link(17,106) :- #0.313.
link(106,17) :- #0.951.
link(17,107) :- #0.293.
link(107,17) :- #0.55.
link(17,108) :- #0.907.
link(108,17) :- #0.801.
link(17,126) :- #0.598.
link(126,17) :- #0.14.
link(17,128) :- #0.959.
link(128,17) :- #0.263.
link(18,38) :- #0.621.
link(38,18) :- #0.665.
link(18,50) :- #0.979.
link(50,18) :- #0.693.
link(18,57) :- #0.178.
link(57,18) :- #0.462.
link(18,59) :- #0.954.
link(59,18) :- #0.081.
link(18,70) :- #0.568.
link(70,18) :- #0.713.
link(18,86) :- #0.752.
link(86,18) :- #0.924.
link(18,94) :- #0.757.
link(94,18) :- #0.157.
link(18,98) :- #0.171.
link(98,18) :- #0.313.
link(18,99) :- #0.785.
link(99,18) :- #0.273.
link(18,100) :- #0.962.
link(100,18) :- #0.744.
link(18,116) :- #0.942.
link(116,18) :- #0.1.
link(18,118) :- #0.439.
link(118,18) :- #0.9.
link(18,121) :- #0.431.
link(121,18) :- #0.291.
link(18,130) :- #0.728.
link(130,18) :- #0.056.
link(18,132) :- #0.856.
link(132,18) :- #0.362.
link(18,133) :- #0.134.
link(133,18) :- #0.937.
link(19,26) :- #0.698.
link(26,19) :- #0.586.
link(19,29) :- #0.48.
link(29,19) :- #0.121.
link(19,33) :- #0.138.
link(33,19) :- #0.524.
link(19,52) :- #0.228.
link(52,19) :- #0.126.
link(19,73) :- #0.821.
link(73,19) :- #0.815.
link(19,78) :- #0.827.
link(78,19) :- #0.413.
link(19,83) :- #0.914.
link(83,19) :- #0.714.
link(19,103) :- #0.196.
link(103,19) :- #0.964.
link(19,108) :- #0.779.
link(108,19) :- #0.815.
link(19,118) :- #0.02.
link(118,19) :- #0.151.
link(19,122) :- #0.565.
link(122,19) :- #0.85.
link(19,133) :- #0.235.
link(133,19) :- #0.058.
link(20,40) :- #0.693.
link(40,20) :- #0.014.
link(20,45) :- #0.406.
link(45,20) :- #0.651.
link(20,47) :- #0.663.
link(47,20) :- #0.704.
link(20,51) :- #0.959.
link(51,20) :- #0.479.
link(20,66) :- #0.557.
link(66,20) :- #0.191.
link(20,67) :- #0.24.
link(67,20) :- #0.309.
link(20,79) :- #0.472.
link(79,20) :- #0.644.
link(20,113) :- #0.116.
link(113,20) :- #0.136.
link(21,41) :- #0.514.
link(41,21) :- #0.174.
link(21,43) :- #0.239.
link(43,21) :- #0.738.
link(21,63) :- #0.77.
link(63,21) :- #0.604.
link(21,84) :- #0.896.
link(84,21) :- #0.714.
link(21,100) :- #0.368.
link(100,21) :- #0.221.
link(21,101) :- #0.535.
link(101,21) :- #0.29.
link(21,107) :- #0.585.
link(107,21) :- #0.652.
link(21,115) :- #0.076.
link(115,21) :- #0.871.
link(21,118) :- #0.401.
link(118,21) :- #0.724.
link(21,125) :- #0.049.
link(125,21) :- #0.96.
link(21,130) :- #0.613.
link(130,21) :- #0.755.
link(21,134) :- #0.614.
link(134,21) :- #0.999.
link(22,37) :- #0.837.
link(37,22) :- #0.56.
link(22,42) :- #0.87.
link(42,22) :- #0.46.
link(22,46) :- #0.735.
link(46,22) :- #0.75.
link(22,63) :- #0.262.
link(63,22) :- #0.082.
link(22,77) :- #0.514.
link(77,22) :- #0.896.
link(22,80) :- #0.899.
link(80,22) :- #0.079.
link(22,83) :- #0.029.
link(83,22) :- #0.305.
link(22,85) :- #0.465.
link(85,22) :- #0.838.
link(22,99) :- #0.391.
link(99,22) :- #0.483.
link(22,118) :- #0.903.
link(118,22) :- #0.783.
link(22,129) :- #0.148.
link(129,22) :- #0.633.
link(22,135) :- #0.083.
link(135,22) :- #0.64.
link(23,27) :- #0.556.
link(27,23) :- #0.55.
link(23,28) :- #0.111.
link(28,23) :- #0.897.
link(23,76) :- #0.72.
link(76,23) :- #0.051.
link(23,99) :- #0.468.
link(99,23) :- #0.427.
link(23,100) :- #0.285.
link(100,23) :- #0.155.
link(23,101) :- #0.667.
link(101,23) :- #0.64.
link(23,102) :- #0.698.
link(102,23) :- #0.037.
link(23,111) :- #0.036.
link(111,23) :- #0.158.
link(23,131) :- #0.519.
link(131,23) :- #0.52.
link(24,34) :- #0.586.
link(34,24) :- #0.716.
link(24,35) :- #0.231.
link(35,24) :- #0.299.
link(24,38) :- #0.748.
link(38,24) :- #0.186.
link(24,53) :- #0.892.
link(53,24) :- #0.193.
link(24,70) :- #0.318.
link(70,24) :- #0.135.
link(24,99) :- #0.657.
link(99,24) :- #0.53.
link(24,114) :- #0.873.
link(114,24) :- #0.305.
link(24,119) :- #0.005.
link(119,24) :- #0.069.
link(25,41) :- #0.684.
link(41,25) :- #0.471.
link(25,43) :- #0.692.
link(43,25) :- #0.906.
link(25,58) :- #0.951.
link(58,25) :- #0.103.
link(25,80) :- #0.231.
link(80,25) :- #0.235.
link(25,97) :- #0.74.
link(97,25) :- #0.786.
link(25,107) :- #0.773.
link(107,25) :- #0.152.
link(25,111) :- #0.185.
link(111,25) :- #0.712.
link(25,114) :- #0.767.
link(114,25) :- #0.311.
link(25,129) :- #0.051.
link(129,25) :- #0.513.
link(26,36) :- #0.729.
link(36,26) :- #0.904.
link(26,39) :- #0.33.
link(39,26) :- #0.984.
link(26,41) :- #0.972.
link(41,26) :- #0.484.
link(26,77) :- #0.009.
link(77,26) :- #0.727.
link(26,79) :- #0.697.
link(79,26) :- #0.444.
link(26,88) :- #0.744.
link(88,26) :- #0.634.
link(26,89) :- #0.316.
link(89,26) :- #0.687.
link(26,98) :- #0.037.
link(98,26) :- #0.318.
link(26,101) :- #0.235.
link(101,26) :- #0.373.
link(26,106) :- #0.483.
link(106,26) :- #0.898.
link(26,127) :- #0.419.
link(127,26) :- #0.459.
link(27,30) :- #0.992.
link(30,27) :- #0.798.
link(27,58) :- #0.079.
link(58,27) :- #0.644.
link(27,70) :- #0.171.
link(70,27) :- #0.828.
link(27,78) :- #0.704.
link(78,27) :- #0.857.
link(27,88) :- #0.609.
link(88,27) :- #0.619.
link(27,107) :- #0.928.
link(107,27) :- #0.48.
link(28,31) :- #0.923.
link(31,28) :- #0.408.
link(28,35) :- #0.199.
link(35,28) :- #0.42.
link(28,36) :- #0.601.
link(36,28) :- #0.151.
link(28,63) :- #0.872.
link(63,28) :- #0.099.
link(28,68) :- #0.781.
link(68,28) :- #0.33.
link(28,72) :- #0.865.
link(72,28) :- #0.588.
link(28,78) :- #0.887.
link(78,28) :- #0.702.
link(28,83) :- #0.858.
link(83,28) :- #0.827.
link(28,95) :- #0.956.
link(95,28) :- #0.378.
link(28,98) :- #0.647.
link(98,28) :- #0.184.
link(28,130) :- #0.471.
link(130,28) :- #0.249.
link(29,35) :- #0.654.
link(35,29) :- #0.158.
link(29,45) :- #0.671.
link(45,29) :- #0.075.
link(29,73) :- #0.106.
link(73,29) :- #0.499.
link(29,81) :- #0.716.
link(81,29) :- #0.896.
link(29,82) :- #0.304.
link(82,29) :- #0.528.
link(29,90) :- #0.563.
link(90,29) :- #0.452.
link(29,91) :- #0.122.
link(91,29) :- #0.324.
link(29,92) :- #0.079.
link(92,29) :- #0.397.
link(29,93) :- #0.016.
link(93,29) :- #0.104.
link(29,96) :- #0.387.
link(96,29) :- #0.547.
link(29,104) :- #0.625.
link(104,29) :- #0.756.
link(29,135) :- #0.908.
link(135,29) :- #0.487.
link(30,41) :- #0.721.
link(41,30) :- #0.685.
link(30,43) :- #0.257.
link(43,30) :- #0.495.
link(30,51) :- #0.757.
link(51,30) :- #0.948.
link(30,62) :- #0.579.
link(62,30) :- #0.172.
link(30,70) :- #0.31.
link(70,30) :- #0.888.
link(30,93) :- #0.763.
link(93,30) :- #0.911.
link(30,115) :- #0.165.
link(115,30) :- #0.062.
link(30,116) :- #0.042.
link(116,30) :- #0.57.
link(30,118) :- #0.684.
link(118,30) :- #0.15.
link(30,128) :- #0.099.
link(128,30) :- #0.576.
link(31,32) :- #0.355.
link(32,31) :- #0.55.
link(31,37) :- #0.866.
link(37,31) :- #0.385.
link(31,52) :- #0.318.
link(52,31) :- #0.72.
link(31,62) :- #0.742.
link(62,31) :- #0.307.
link(31,71) :- #0.163.
link(71,31) :- #0.551.
link(31,98) :- #0.986.
link(98,31) :- #0.592.
link(31,101) :- #0.981.
link(101,31) :- #0.752.
link(31,113) :- #0.355.
link(113,31) :- #0.315.
link(31,114) :- #0.448.
link(114,31) :- #0.648.
link(32,34) :- #0.647.
link(34,32) :- #0.459.
link(32,36) :- #0.636.
link(36,32) :- #0.784.
link(32,44) :- #0.286.
link(44,32) :- #0.252.
link(32,50) :- #0.022.
link(50,32) :- #0.412.
link(32,71) :- #0.52.
link(71,32) :- #0.597.
link(32,88) :- #0.3.
link(88,32) :- #0.399.
link(32,90) :- #0.485.
link(90,32) :- #0.639.
link(32,98) :- #0.739.
link(98,32) :- #0.187.
link(32,107) :- #0.524.
link(107,32) :- #0.344.
link(32,120) :- #0.828.
link(120,32) :- #0.629.
link(32,128) :- #0.686.
link(128,32) :- #0.341.
link(33,36) :- #0.345.
link(36,33) :- #0.365.
link(33,46) :- #0.703.
link(46,33) :- #0.406.
link(33,53) :- #0.172.
link(53,33) :- #0.694.
link(33,55) :- #0.427.
link(55,33) :- #0.288.
link(33,58) :- #0.42.
link(58,33) :- #0.914.
link(33,60) :- #0.377.
link(60,33) :- #0.353.
link(33,69) :- #0.643.
link(69,33) :- #0.008.
link(33,83) :- #0.87.
link(83,33) :- #0.695.
link(33,87) :- #0.269.
link(87,33) :- #0.323.
link(33,91) :- #0.897.
link(91,33) :- #0.264.
link(33,95) :- #0.109.
link(95,33) :- #0.007.
link(33,110) :- #0.379.
link(110,33) :- #0.621.
link(33,111) :- #0.103.
link(111,33) :- #0.221.
link(33,118) :- #0.554.
link(118,33) :- #0.544.
link(33,124) :- #0.862.
link(124,33) :- #0.209.
link(34,39) :- #0.529.
link(39,34) :- #0.829.
link(34,54) :- #0.246.
link(54,34) :- #0.836.
link(34,76) :- #0.565.
link(76,34) :- #0.682.
link(34,91) :- #0.097.
link(91,34) :- #0.138.
link(34,100) :- #0.543.
link(100,34) :- #0.544.
link(34,126) :- #0.358.
link(126,34) :- #0.163.
link(34,135) :- #0.638.
link(135,34) :- #0.534.
link(35,52) :- #0.552.
link(52,35) :- #0.154.
link(35,57) :- #0.151.
link(57,35) :- #0.908.
link(35,64) :- #0.894.
link(64,35) :- #0.171.
link(35,65) :- #0.266.
link(65,35) :- #0.5.
link(35,70) :- #0.887.
link(70,35) :- #0.99.
link(35,74) :- #0.532.
link(74,35) :- #0.627.
link(35,82) :- #0.088.
link(82,35) :- #0.623.
link(35,87) :- #0.82.
link(87,35) :- #0.865.
link(35,112) :- #0.804.
link(112,35) :- #0.813.
link(35,130) :- #0.29.
link(130,35) :- #0.555.
link(35,132) :- #0.771.
link(132,35) :- #0.129.
link(36,44) :- #0.466.
link(44,36) :- #0.404.
link(36,46) :- #0.744.
link(46,36) :- #0.913.
link(36,51) :- #0.397.
link(51,36) :- #0.727.
link(36,59) :- #0.237.
link(59,36) :- #0.858.
link(36,62) :- #0.133.
link(62,36) :- #0.308.
link(36,63) :- #0.232.
link(63,36) :- #0.709.
link(36,70) :- #0.654.
link(70,36) :- #0.675.
link(36,75) :- #0.197.
link(75,36) :- #0.93.
link(36,87) :- #0.082.
link(87,36) :- #0.42.
link(36,89) :- #0.591.
link(89,36) :- #0.63.
link(36,90) :- #0.487.
link(90,36) :- #0.678.
link(36,105) :- #0.565.
link(105,36) :- #0.885.
link(36,115) :- #0.083.
link(115,36) :- #0.729.
link(36,116) :- #0.8.
link(116,36) :- #0.55.
link(36,119) :- #0.851.
link(119,36) :- #0.973.
link(36,122) :- #0.479.
link(122,36) :- #0.786.
link(37,50) :- #0.888.
link(50,37) :- #0.124.
link(37,72) :- #0.718.
link(72,37) :- #0.902.
link(37,87) :- #0.59.
link(87,37) :- #0.87.
link(37,107) :- #0.472.
link(107,37) :- #0.445.
link(37,124) :- #0.43.
link(124,37) :- #0.395.
link(37,127) :- #0.774.
link(127,37) :- #0.279.
link(38,46) :- #0.855.
link(46,38) :- #0.107.
link(38,79) :- #0.154.
link(79,38) :- #0.993.
link(38,86) :- #0.179.
link(86,38) :- #0.583.
link(38,103) :- #0.485.
link(103,38) :- #0.34.
link(38,105) :- #0.073.
link(105,38) :- #0.784.
link(38,108) :- #0.131.
link(108,38) :- #0.499.
link(38,111) :- #0.15.
link(111,38) :- #0.862.
link(38,127) :- #0.843.
link(127,38) :- #0.07.
link(38,128) :- #0.551.
link(128,38) :- #0.68.
link(38,132) :- #0.117.
link(132,38) :- #0.644.
link(39,56) :- #0.348.
link(56,39) :- #0.273.
link(39,67) :- #0.693.
link(67,39) :- #0.036.
link(39,83) :- #0.965.
link(83,39) :- #0.794.
link(39,86) :- #0.386.
link(86,39) :- #0.496.
link(39,90) :- #0.847.
link(90,39) :- #0.803.
link(39,105) :- #0.72.
link(105,39) :- #0.062.
link(39,106) :- #0.917.
link(106,39) :- #0.5.
link(39,119) :- #0.741.
link(119,39) :- #0.313.
link(39,124) :- #0.261.
link(124,39) :- #0.482.
link(39,126) :- #0.546.
link(126,39) :- #0.905.
link(39,133) :- #0.205.
link(133,39) :- #0.806.
link(40,49) :- #0.187.
link(49,40) :- #0.874.
link(40,58) :- #0.127.
link(58,40) :- #0.421.
link(40,63) :- #0.762.
link(63,40) :- #0.857.
link(40,65) :- #0.695.
link(65,40) :- #0.802.
link(40,75) :- #0.357.
link(75,40) :- #0.31.
link(40,78) :- #0.573.
link(78,40) :- #0.949.
link(40,81) :- #0.389.
link(81,40) :- #0.914.
link(40,83) :- #0.493.
link(83,40) :- #0.554.
link(40,100) :- #0.521.
link(100,40) :- #0.527.
link(40,109) :- #0.712.
link(109,40) :- #0.317.
link(40,110) :- #0.427.
link(110,40) :- #0.078.
link(40,114) :- #0.609.
link(114,40) :- #0.374.
link(40,120) :- #0.712.
link(120,40) :- #0.347.
link(40,128) :- #0.392.
link(128,40) :- #0.747.
link(40,133) :- #0.632.
link(133,40) :- #0.603.
link(41,45) :- #0.478.
link(45,41) :- #0.604.
link(41,47) :- #0.1.
link(47,41) :- #0.195.
link(41,55) :- #0.303.
link(55,41) :- #0.954.
link(41,62) :- #0.596.
link(62,41) :- #0.518.
link(41,67) :- #0.495.
link(67,41) :- #0.788.
link(41,72) :- #0.247.
link(72,41) :- #0.717.
link(41,103) :- #0.919.
link(103,41) :- #0.665.
link(41,127) :- #0.558.
link(127,41) :- #0.55.
link(42,57) :- #0.206.
link(57,42) :- #0.411.
link(42,63) :- #0.277.
link(63,42) :- #0.021.
link(42,70) :- #0.478.
link(70,42) :- #0.072.
link(42,81) :- #0.083.
link(81,42) :- #0.654.
link(42,96) :- #0.888.
link(96,42) :- #0.153.
link(42,98) :- #0.342.
link(98,42) :- #0.334.
link(42,101) :- #0.97.
link(101,42) :- #0.579.
link(42,105) :- #0.918.
link(105,42) :- #0.706.
link(42,107) :- #0.069.
link(107,42) :- #0.961.
link(42,118) :- #0.944.
link(118,42) :- #0.725.
link(42,125) :- #0.127.
link(125,42) :- #0.717.
link(42,126) :- #0.867.
link(126,42) :- #0.585.
link(43,45) :- #0.932.
link(45,43) :- #0.115.
link(43,47) :- #0.859.
link(47,43) :- #0.233.
link(43,58) :- #0.525.
link(58,43) :- #0.587.
link(43,67) :- #0.501.
link(67,43) :- #0.747.
link(43,78) :- #0.685.
link(78,43) :- #0.845.
link(43,83) :- #0.382.
link(83,43) :- #0.137.
link(43,86) :- #0.206.
link(86,43) :- #0.728.
link(43,105) :- #0.86.
link(105,43) :- #0.655.
link(43,135) :- #0.668.
link(135,43) :- #0.013.
link(44,50) :- #0.617.
link(50,44) :- #0.372.
link(44,70) :- #0.687.
link(70,44) :- #0.898.
link(44,71) :- #0.109.
link(71,44) :- #0.857.
link(44,79) :- #0.434.
link(79,44) :- #0.806.
link(44,82) :- #0.325.
link(82,44) :- #0.048.
link(44,86) :- #0.818.
link(86,44) :- #0.837.
link(44,99) :- #0.249.
link(99,44) :- #0.314.
link(44,121) :- #0.048.
link(121,44) :- #0.405.
link(44,123) :- #0.654.
link(123,44) :- #0.844.
link(44,126) :- #0.711.
link(126,44) :- #0.729.
link(44,132) :- #0.596.
link(132,44) :- #0.607.
link(45,78) :- #0.597.
link(78,45) :- #0.1.
link(45,83) :- #0.696.
link(83,45) :- #0.609.
link(45,91) :- #0.907.
link(91,45) :- #0.745.
link(45,97) :- #0.72.
link(97,45) :- #0.985.
link(45,101) :- #0.258.
link(101,45) :- #0.394.
link(45,110) :- #0.389.
link(110,45) :- #0.827.
link(45,127) :- #0.983.
link(127,45) :- #0.724.
link(46,48) :- #0.918.
link(48,46) :- #0.829.
link(46,51) :- #0.31.
link(51,46) :- #0.211.
link(46,55) :- #0.787.
link(55,46) :- #0.75.
link(46,72) :- #0.069.
link(72,46) :- #0.816.
link(46,82) :- #0.124.
link(82,46) :- #0.993.
link(46,84) :- #0.162.
link(84,46) :- #0.448.
link(46,88) :- #0.051.
link(88,46) :- #0.901.
link(46,89) :- #0.107.
link(89,46) :- #0.632.
link(46,107) :- #0.35.
link(107,46) :- #0.662.
link(46,114) :- #0.785.
link(114,46) :- #0.763.
link(46,130) :- #0.844.
link(130,46) :- #0.338.
link(47,59) :- #0.253.
link(59,47) :- #0.252.
link(47,66) :- #0.358.
link(66,47) :- #0.822.
link(47,69) :- #0.98.
link(69,47) :- #0.663.
link(47,72) :- #0.983.
link(72,47) :- #0.544.
link(47,92) :- #0.483.
link(92,47) :- #0.271.
link(47,96) :- #0.312.
link(96,47) :- #0.16.
link(47,104) :- #0.514.
link(104,47) :- #0.676.
link(47,114) :- #0.304.
link(114,47) :- #0.049.
link(47,127) :- #0.38.
link(127,47) :- #0.894.
link(48,56) :- #0.546.
link(56,48) :- #0.247.
link(48,60) :- #0.508.
link(60,48) :- #0.64.
link(48,63) :- #0.696.
link(63,48) :- #0.935.
link(48,64) :- #0.026.
link(64,48) :- #0.006.
link(48,73) :- #0.468.
link(73,48) :- #0.14.
link(48,95) :- #0.403.
link(95,48) :- #0.886.
link(48,111) :- #0.186.
link(111,48) :- #0.178.
link(48,113) :- #0.142.
link(113,48) :- #0.017.
link(49,59) :- #0.794.
link(59,49) :- #0.122.
link(49,71) :- #0.464.
link(71,49) :- #0.446.
link(49,91) :- #0.763.
link(91,49) :- #0.388.
link(49,97) :- #0.924.
link(97,49) :- #0.27.
link(49,98) :- #0.03.
link(98,49) :- #0.169.
link(49,102) :- #0.047.
link(102,49) :- #0.206.
link(49,134) :- #0.347.
link(134,49) :- #0.858.
link(50,55) :- #0.498.
link(55,50) :- #0.751.
link(50,66) :- #0.085.
link(66,50) :- #0.856.
link(50,74) :- #0.809.
link(74,50) :- #0.326.
link(50,111) :- #0.949.
link(111,50) :- #0.034.
link(50,117) :- #0.571.
link(117,50) :- #0.856.
link(50,120) :- #0.443.
link(120,50) :- #0.855.
link(50,133) :- #0.608.
link(133,50) :- #0.131.
link(51,62) :- #0.616.
link(62,51) :- #0.408.
link(51,72) :- #0.642.
link(72,51) :- #0.011.
link(51,75) :- #0.108.
link(75,51) :- #0.871.
link(51,77) :- #0.108.
link(77,51) :- #0.116.
link(51,84) :- #0.155.
link(84,51) :- #0.588.
link(51,85) :- #0.074.
link(85,51) :- #0.012.
link(51,87) :- #0.872.
link(87,51) :- #0.852.
link(51,96) :- #0.994.
link(96,51) :- #0.662.
link(51,111) :- #0.035.
link(111,51) :- #0.793.
link(51,130) :- #0.466.
link(130,51) :- #0.057.
link(51,134) :- #0.075.
link(134,51) :- #0.569.
link(52,59) :- #0.267.
link(59,52) :- #0.558.
link(52,62) :- #0.071.
link(62,52) :- #0.294.
link(52,69) :- #0.984.
link(69,52) :- #0.568.
link(52,70) :- #0.168.
link(70,52) :- #0.232.
link(52,77) :- #0.302.
link(77,52) :- #0.46.
link(52,79) :- #0.691.
link(79,52) :- #0.4.
link(52,92) :- #0.777.
link(92,52) :- #0.073.
link(52,95) :- #0.821.
link(95,52) :- #0.593.
link(52,96) :- #0.231.
link(96,52) :- #0.939.
link(52,110) :- #0.628.
link(110,52) :- #0.412.
link(52,117) :- #0.132.
link(117,52) :- #0.615.
link(52,118) :- #0.252.
link(118,52) :- #0.152.
link(52,128) :- #0.73.
link(128,52) :- #0.903.
link(53,62) :- #0.878.
link(62,53) :- #0.625.
link(53,67) :- #0.794.
link(67,53) :- #0.378.
link(53,69) :- #0.751.
link(69,53) :- #0.426.
link(53,83) :- #0.479.
link(83,53) :- #0.762.
link(53,89) :- #0.621.
link(89,53) :- #0.828.
link(53,99) :- #0.731.
link(99,53) :- #0.479.
link(53,105) :- #0.062.
link(105,53) :- #0.952.
link(53,106) :- #0.417.
link(106,53) :- #0.856.
link(53,120) :- #0.595.
link(120,53) :- #0.975.
link(53,122) :- #0.697.
link(122,53) :- #0.17.
link(53,129) :- #0.416.
link(129,53) :- #0.606.
link(53,133) :- #0.384.
link(133,53) :- #0.383.
link(53,134) :- #0.127.
link(134,53) :- #0.644.
link(54,58) :- #0.123.
link(58,54) :- #0.009.
link(54,59) :- #0.528.
link(59,54) :- #0.114.
link(54,71) :- #0.919.
link(71,54) :- #0.218.
link(54,72) :- #0.585.
link(72,54) :- #0.669.
link(54,78) :- #0.238.
link(78,54) :- #0.915.
link(54,79) :- #0.787.
link(79,54) :- #0.085.
link(54,81) :- #0.788.
link(81,54) :- #0.809.
link(54,89) :- #0.556.
link(89,54) :- #0.846.
link(54,98) :- #0.826.
link(98,54) :- #0.411.
link(54,102) :- #0.218.
link(102,54) :- #0.735.
link(54,110) :- #0.266.
link(110,54) :- #0.579.
link(55,58) :- #0.438.
link(58,55) :- #0.955.
link(55,59) :- #0.697.
link(59,55) :- #0.759.
link(55,60) :- #0.512.
link(60,55) :- #0.54.
link(55,61) :- #0.353.
link(61,55) :- #0.09.
link(55,62) :- #0.474.
link(62,55) :- #0.389.
link(55,74) :- #0.775.
link(74,55) :- #0.154.
link(55,75) :- #0.596.
link(75,55) :- #0.416.
link(55,87) :- #0.828.
link(87,55) :- #0.531.
link(55,93) :- #0.468.
link(93,55) :- #0.617.
link(55,98) :- #0.691.
link(98,55) :- #0.609.
link(56,57) :- #0.722.
link(57,56) :- #0.646.
link(56,90) :- #0.548.
link(90,56) :- #0.008.
link(56,94) :- #0.545.
link(94,56) :- #0.305.
link(56,100) :- #0.893.
link(100,56) :- #0.684.
link(56,102) :- #0.071.
link(102,56) :- #0.746.
link(56,113) :- #0.428.
link(113,56) :- #0.462.
link(56,114) :- #0.376.
link(114,56) :- #0.4.
link(56,118) :- #0.607.
link(118,56) :- #0.739.
link(56,121) :- #0.172.
link(121,56) :- #0.607.
link(56,125) :- #0.323.
link(125,56) :- #0.001.
link(56,128) :- #0.212.
link(128,56) :- #0.684.
link(56,131) :- #0.394.
link(131,56) :- #0.967.
link(57,65) :- #0.252.
link(65,57) :- #0.775.
link(57,101) :- #0.422.
link(101,57) :- #0.902.
link(57,119) :- #0.919.
link(119,57) :- #0.311.
link(57,123) :- #0.691.
link(123,57) :- #0.075.
link(57,125) :- #0.783.
link(125,57) :- #0.489.
link(58,67) :- #0.826.
link(67,58) :- #0.5.
link(58,105) :- #0.981.
link(105,58) :- #0.614.
link(59,68) :- #0.466.
link(68,59) :- #0.097.
link(59,80) :- #0.09.
link(80,59) :- #0.136.
link(59,84) :- #0.695.
link(84,59) :- #0.73.
link(59,95) :- #0.079.
link(95,59) :- #0.042.
link(59,99) :- #0.041.
link(99,59) :- #0.509.
link(59,102) :- #0.865.
link(102,59) :- #0.119.
link(59,103) :- #0.731.
link(103,59) :- #0.147.
link(59,113) :- #0.417.
link(113,59) :- #0.437.
link(59,120) :- #0.215.
link(120,59) :- #0.485.
link(59,128) :- #0.833.
link(128,59) :- #0.741.
link(59,132) :- #0.779.
link(132,59) :- #0.81.
link(59,133) :- #0.477.
link(133,59) :- #0.96.
link(60,77) :- #0.044.
link(77,60) :- #0.899.
link(60,82) :- #0.603.
link(82,60) :- #0.607.
link(60,83) :- #0.019.
link(83,60) :- #0.561.
link(60,85) :- #0.213.
link(85,60) :- #0.919.
link(60,90) :- #0.03.
link(90,60) :- #0.384.
link(60,92) :- #0.977.
link(92,60) :- #0.199.
link(60,105) :- #0.565.
link(105,60) :- #0.872.
link(60,106) :- #0.014.
link(106,60) :- #0.41.
link(61,66) :- #0.012.
link(66,61) :- #0.616.
link(61,71) :- #0.567.
link(71,61) :- #0.765.
link(61,75) :- #0.283.
link(75,61) :- #0.6.
link(61,78) :- #0.961.
link(78,61) :- #0.173.
link(61,99) :- #0.75.
link(99,61) :- #0.741.
link(61,103) :- #0.616.
link(103,61) :- #0.363.
link(61,112) :- #0.291.
link(112,61) :- #0.717.
link(61,126) :- #0.972.
link(126,61) :- #0.294.
link(61,130) :- #0.05.
link(130,61) :- #0.772.
link(62,65) :- #0.335.
link(65,62) :- #0.95.
link(62,69) :- #0.904.
link(69,62) :- #0.324.
link(62,72) :- #0.467.
link(72,62) :- #0.445.
link(62,73) :- #0.293.
link(73,62) :- #0.644.
link(62,77) :- #0.9.
link(77,62) :- #0.677.
link(62,78) :- #0.788.
link(78,62) :- #0.032.
link(62,83) :- #0.076.
link(83,62) :- #0.141.
link(62,105) :- #0.408.
link(105,62) :- #0.51.
link(62,118) :- #0.505.
link(118,62) :- #0.144.
link(62,127) :- #0.659.
link(127,62) :- #0.079.
link(62,128) :- #0.737.
link(128,62) :- #0.099.
link(63,67) :- #0.622.
link(67,63) :- #0.864.
link(63,82) :- #0.494.
link(82,63) :- #0.232.
link(63,88) :- #0.176.
link(88,63) :- #0.424.
link(63,92) :- #0.249.
link(92,63) :- #0.162.
link(63,98) :- #0.855.
link(98,63) :- #0.98.
link(64,72) :- #0.656.
link(72,64) :- #0.267.
link(64,76) :- #0.614.
link(76,64) :- #0.406.
link(64,97) :- #0.992.
link(97,64) :- #0.407.
link(64,106) :- #0.209.
link(106,64) :- #0.238.
link(64,117) :- #0.237.
link(117,64) :- #0.677.
link(64,130) :- #0.464.
link(130,64) :- #0.444.
link(65,79) :- #0.039.
link(79,65) :- #0.987.
link(65,121) :- #0.833.
link(121,65) :- #0.887.
link(65,135) :- #0.056.
link(135,65) :- #0.046.
link(66,81) :- #0.378.
link(81,66) :- #0.72.
link(66,88) :- #0.333.
link(88,66) :- #0.988.
link(66,91) :- #0.385.
link(91,66) :- #0.91.
link(66,101) :- #0.418.
link(101,66) :- #0.413.
link(66,105) :- #0.785.
link(105,66) :- #0.707.
link(66,114) :- #0.979.
link(114,66) :- #0.076.
link(66,121) :- #0.41.
link(121,66) :- #0.733.
link(66,128) :- #0.17.
link(128,66) :- #0.952.
link(67,77) :- #0.035.
link(77,67) :- #0.938.
link(67,80) :- #0.902.
link(80,67) :- #0.991.
link(67,109) :- #0.222.
link(109,67) :- #0.669.
link(67,114) :- #0.34.
link(114,67) :- #0.724.
link(67,119) :- #0.184.
link(119,67) :- #0.398.
link(68,100) :- #0.342.
link(100,68) :- #0.015.
link(68,114) :- #0.312.
link(114,68) :- #0.135.
link(68,127) :- #0.274.
link(127,68) :- #0.993.
link(69,71) :- #0.359.
link(71,69) :- #0.508.
link(69,93) :- #0.674.
link(93,69) :- #0.377.
link(69,109) :- #0.837.
link(109,69) :- #0.904.
link(69,116) :- #0.111.
link(116,69) :- #0.745.
link(69,127) :- #0.211.
link(127,69) :- #0.74.
link(70,72) :- #0.051.
link(72,70) :- #0.184.
link(70,135) :- #0.54.
link(135,70) :- #0.849.
link(71,80) :- #0.704.
link(80,71) :- #0.405.
link(71,82) :- #0.131.
link(82,71) :- #0.522.
link(71,95) :- #0.227.
link(95,71) :- #0.893.
link(71,97) :- #0.268.
link(97,71) :- #0.919.
link(72,78) :- #0.822.
link(78,72) :- #0.446.
link(72,113) :- #0.733.
link(113,72) :- #0.245.
link(72,119) :- #0.715.
link(119,72) :- #0.494.
link(73,80) :- #0.356.
link(80,73) :- #0.376.
link(73,99) :- #0.577.
link(99,73) :- #0.526.
link(73,119) :- #0.637.
link(119,73) :- #0.866.
link(74,88) :- #0.111.
link(88,74) :- #0.581.
link(74,95) :- #0.316.
link(95,74) :- #0.613.
link(74,100) :- #0.551.
link(100,74) :- #0.025.
link(74,129) :- #0.703.
link(129,74) :- #0.803.
link(74,134) :- #0.044.
link(134,74) :- #0.2.
link(75,96) :- #0.637.
link(96,75) :- #0.281.
link(75,105) :- #0.997.
link(105,75) :- #0.378.
link(75,110) :- #0.695.
link(110,75) :- #0.582.
link(76,88) :- #0.676.
link(88,76) :- #0.934.
link(76,91) :- #0.996.
link(91,76) :- #0.779.
link(76,97) :- #0.86.
link(97,76) :- #0.381.
link(76,109) :- #0.833.
link(109,76) :- #0.936.
link(76,130) :- #0.124.
link(130,76) :- #0.976.
link(77,81) :- #0.894.
link(81,77) :- #0.607.
link(77,84) :- #0.071.
link(84,77) :- #0.755.
link(77,86) :- #0.771.
link(86,77) :- #0.904.
link(77,87) :- #0.474.
link(87,77) :- #0.026.
link(77,91) :- #0.489.
link(91,77) :- #0.536.
link(77,105) :- #0.72.
link(105,77) :- #0.572.
link(77,111) :- #0.371.
link(111,77) :- #0.777.
link(77,122) :- #0.283.
link(122,77) :- #0.761.
link(77,124) :- #0.451.
link(124,77) :- #0.998.
link(78,79) :- #0.284.
link(79,78) :- #0.841.
link(78,82) :- #0.031.
link(82,78) :- #0.634.
link(78,99) :- #0.598.
link(99,78) :- #0.236.
link(78,102) :- #0.743.
link(102,78) :- #0.629.
link(78,103) :- #0.022.
link(103,78) :- #0.418.
link(78,122) :- #0.448.
link(122,78) :- #0.592.
link(78,124) :- #0.557.
link(124,78) :- #0.066.
link(78,126) :- #0.565.
link(126,78) :- #0.437.
link(78,128) :- #0.017.
link(128,78) :- #0.656.
link(78,129) :- #0.416.
link(129,78) :- #0.83.
link(78,135) :- #0.575.
link(135,78) :- #0.395.
link(79,84) :- #0.123.
link(84,79) :- #0.622.
link(79,88) :- #0.128.
link(88,79) :- #0.666.
link(79,90) :- #0.702.
link(90,79) :- #0.917.
link(79,91) :- #0.973.
link(91,79) :- #0.737.
link(79,92) :- #0.51.
link(92,79) :- #0.702.
link(79,105) :- #0.28.
link(105,79) :- #0.846.
link(79,116) :- #0.049.
link(116,79) :- #0.963.
link(79,122) :- #0.661.
link(122,79) :- #0.465.
link(79,133) :- #0.737.
link(133,79) :- #0.213.
link(79,134) :- #0.107.
link(134,79) :- #0.364.
link(79,135) :- #0.129.
link(135,79) :- #0.614.
link(80,84) :- #0.143.
link(84,80) :- #0.387.
link(80,89) :- #0.878.
link(89,80) :- #0.926.
link(80,93) :- #0.947.
link(93,80) :- #0.627.
link(80,102) :- #0.583.
link(102,80) :- #0.019.
link(80,132) :- #0.678.
link(132,80) :- #0.094.
link(80,133) :- #0.355.
link(133,80) :- #0.207.
link(81,87) :- #0.604.
link(87,81) :- #0.37.
link(81,105) :- #0.373.
link(105,81) :- #0.424.
link(81,106) :- #0.922.
link(106,81) :- #0.973.
link(81,113) :- #0.643.
link(113,81) :- #0.905.
link(81,122) :- #0.049.
link(122,81) :- #0.892.
link(81,125) :- #0.299.
link(125,81) :- #0.21.
link(82,84) :- #0.728.
link(84,82) :- #0.64.
link(82,90) :- #0.045.
link(90,82) :- #0.867.
link(82,100) :- #0.509.
link(100,82) :- #0.141.
link(82,110) :- #0.916.
link(110,82) :- #0.828.
link(82,117) :- #0.093.
link(117,82) :- #0.236.
link(82,122) :- #0.728.
link(122,82) :- #0.01.
link(82,124) :- #0.924.
link(124,82) :- #0.792.
link(82,129) :- #0.06.
link(129,82) :- #0.248.
link(82,133) :- #0.416.
link(133,82) :- #0.528.
link(83,95) :- #0.937.
link(95,83) :- #0.674.
link(83,96) :- #0.853.
link(96,83) :- #0.227.
link(83,104) :- #0.862.
link(104,83) :- #0.285.
link(83,128) :- #0.34.
link(128,83) :- #0.982.
link(84,89) :- #0.119.
link(89,84) :- #0.848.
link(84,99) :- #0.275.
link(99,84) :- #0.3.
link(84,112) :- #0.423.
link(112,84) :- #0.374.
link(84,115) :- #0.444.
link(115,84) :- #0.011.
link(84,126) :- #0.751.
link(126,84) :- #0.734.
link(84,129) :- #0.603.
link(129,84) :- #0.114.
link(85,93) :- #0.29.
link(93,85) :- #0.161.
link(85,104) :- #0.984.
link(104,85) :- #0.427.
link(85,109) :- #0.782.
link(109,85) :- #0.042.
link(85,126) :- #0.442.
link(126,85) :- #0.567.
link(85,134) :- #0.522.
link(134,85) :- #0.58.
link(85,135) :- #0.672.
link(135,85) :- #0.707.
link(86,88) :- #0.979.
link(88,86) :- #0.339.
link(86,109) :- #0.291.
link(109,86) :- #0.34.
link(86,118) :- #0.365.
link(118,86) :- #0.913.
link(86,123) :- #0.224.
link(123,86) :- #0.069.
link(86,129) :- #0.901.
link(129,86) :- #0.766.
link(87,89) :- #0.425.
link(89,87) :- #0.087.
link(87,91) :- #0.534.
link(91,87) :- #0.715.
link(87,123) :- #0.035.
link(123,87) :- #0.5.
link(87,124) :- #0.883.
link(124,87) :- #0.443.
link(87,134) :- #0.644.
link(134,87) :- #0.042.
link(88,89) :- #0.675.
link(89,88) :- #0.357.
link(88,103) :- #0.871.
link(103,88) :- #0.828.
link(88,106) :- #0.224.
link(106,88) :- #0.911.
link(88,129) :- #0.476.
link(129,88) :- #0.969.
link(88,132) :- #0.811.
link(132,88) :- #0.419.
link(89,108) :- #0.911.
link(108,89) :- #0.649.
link(89,111) :- #0.679.
link(111,89) :- #0.051.
link(89,117) :- #0.642.
link(117,89) :- #0.329.
link(89,122) :- #0.506.
link(122,89) :- #0.064.
link(89,124) :- #0.82.
link(124,89) :- #0.404.
link(89,127) :- #0.51.
link(127,89) :- #0.005.
link(89,131) :- #0.303.
link(131,89) :- #0.844.
link(90,102) :- #0.026.
link(102,90) :- #0.075.
link(90,113) :- #0.805.
link(113,90) :- #0.211.
link(91,109) :- #0.573.
link(109,91) :- #0.768.
link(91,124) :- #0.689.
link(124,91) :- #0.167.
link(91,127) :- #0.99.
link(127,91) :- #0.226.
link(91,130) :- #0.73.
link(130,91) :- #0.094.
link(91,133) :- #0.369.
link(133,91) :- #0.276.
link(92,106) :- #0.176.
link(106,92) :- #0.191.
link(92,111) :- #0.89.
link(111,92) :- #0.221.
link(92,114) :- #0.475.
link(114,92) :- #0.116.
link(92,126) :- #0.535.
link(126,92) :- #0.029.
link(93,97) :- #0.805.
link(97,93) :- #0.663.
link(93,121) :- #0.361.
link(121,93) :- #0.538.
link(94,100) :- #0.674.
link(100,94) :- #0.534.
link(94,102) :- #0.005.
link(102,94) :- #0.483.
link(94,117) :- #0.509.
link(117,94) :- #0.125.
link(94,127) :- #0.3.
link(127,94) :- #0.109.
link(94,132) :- #0.846.
link(132,94) :- #0.506.
link(94,133) :- #0.949.
link(133,94) :- #0.749.
link(95,108) :- #0.038.
link(108,95) :- #0.922.
link(95,120) :- #0.753.
link(120,95) :- #0.926.
link(95,121) :- #0.731.
link(121,95) :- #0.083.
link(95,126) :- #0.631.
link(126,95) :- #0.385.
link(96,111) :- #0.698.
link(111,96) :- #0.922.
link(96,115) :- #0.975.
link(115,96) :- #0.363.
link(96,118) :- #0.334.
link(118,96) :- #0.161.
link(97,101) :- #0.552.
link(101,97) :- #0.406.
link(97,126) :- #0.497.
link(126,97) :- #0.879.
link(98,100) :- #0.265.
link(100,98) :- #0.175.
link(98,101) :- #0.76.
link(101,98) :- #0.836.
link(98,131) :- #0.577.
link(131,98) :- #0.999.
link(99,111) :- #0.278.
link(111,99) :- #0.829.
link(99,124) :- #0.927.
link(124,99) :- #0.918.
link(99,130) :- #0.452.
link(130,99) :- #0.145.
link(99,132) :- #0.278.
link(132,99) :- #0.799.
link(100,110) :- #0.699.
link(110,100) :- #0.774.
link(100,119) :- #0.235.
link(119,100) :- #0.786.
link(100,130) :- #0.851.
link(130,100) :- #0.47.
link(100,135) :- #0.364.
link(135,100) :- #0.997.
link(101,103) :- #0.691.
link(103,101) :- #0.925.
link(101,114) :- #0.346.
link(114,101) :- #0.678.
link(101,120) :- #0.789.
link(120,101) :- #0.985.
link(101,133) :- #0.936.
link(133,101) :- #0.007.
link(102,103) :- #0.156.
link(103,102) :- #0.173.
link(102,106) :- #0.938.
link(106,102) :- #0.622.
link(103,110) :- #0.189.
link(110,103) :- #0.413.
link(103,113) :- #0.253.
link(113,103) :- #0.895.
link(103,118) :- #0.227.
link(118,103) :- #0.093.
link(104,115) :- #0.727.
link(115,104) :- #0.602.
link(104,123) :- #0.746.
link(123,104) :- #0.998.
link(104,124) :- #0.836.
link(124,104) :- #0.272.
link(104,126) :- #0.362.
link(126,104) :- #0.697.
link(105,111) :- #0.166.
link(111,105) :- #0.157.
link(105,132) :- #0.31.
link(132,105) :- #0.048.
link(106,108) :- #0.057.
link(108,106) :- #0.902.
link(106,121) :- #0.922.
link(121,106) :- #0.365.
link(106,131) :- #0.327.
link(131,106) :- #0.14.
link(106,133) :- #0.635.
link(133,106) :- #0.62.
link(106,134) :- #0.775.
link(134,106) :- #0.844.
link(107,111) :- #0.625.
link(111,107) :- #0.874.
link(107,113) :- #0.396.
link(113,107) :- #0.4.
link(107,118) :- #0.005.
link(118,107) :- #0.927.
link(108,125) :- #0.214.
link(125,108) :- #0.556.
link(108,131) :- #0.487.
link(131,108) :- #0.19.
link(110,114) :- #0.279.
link(114,110) :- #0.219.
link(110,127) :- #0.002.
link(127,110) :- #0.814.
link(110,135) :- #0.025.
link(135,110) :- #0.01.
link(111,113) :- #0.404.
link(113,111) :- #0.767.
link(111,114) :- #0.493.
link(114,111) :- #0.805.
link(111,118) :- #0.343.
link(118,111) :- #0.224.
link(111,120) :- #0.404.
link(120,111) :- #0.537.
link(111,128) :- #0.543.
link(128,111) :- #0.4.
link(112,121) :- #0.947.
link(121,112) :- #0.223.
link(112,125) :- #0.286.
link(125,112) :- #0.925.
link(112,132) :- #0.208.
link(132,112) :- #0.836.
link(113,114) :- #0.092.
link(114,113) :- #0.294.
link(113,125) :- #0.176.
link(125,113) :- #0.741.
link(114,116) :- #0.561.
link(116,114) :- #0.882.
link(114,134) :- #0.23.
link(134,114) :- #0.268.
link(115,116) :- #0.735.
link(116,115) :- #0.923.
link(115,121) :- #0.356.
link(121,115) :- #0.652.
link(115,127) :- #0.189.
link(127,115) :- #0.567.
link(116,119) :- #0.22.
link(119,116) :- #0.361.
link(116,130) :- #0.405.
link(130,116) :- #0.395.
link(116,134) :- #0.683.
link(134,116) :- #0.33.
link(117,122) :- #0.808.
link(122,117) :- #0.205.
link(117,124) :- #0.724.
link(124,117) :- #0.203.
link(118,133) :- #0.51.
link(133,118) :- #0.512.
link(120,125) :- #0.775.
link(125,120) :- #0.408.
link(121,122) :- #0.349.
link(122,121) :- #0.396.
link(121,127) :- #0.58.
link(127,121) :- #0.251.
link(121,129) :- #0.814.
link(129,121) :- #0.459.
link(123,124) :- #0.352.
link(124,123) :- #0.724.
link(126,127) :- #0.975.
link(127,126) :- #0.836.
link(126,130) :- #0.704.
link(130,126) :- #0.915.
link(129,134) :- #0.619.
link(134,129) :- #0.034.
link(130,132) :- #0.787.
link(132,130) :- #0.891.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
